setenv fdt_high 0xffffffffffffffff

booti @@XEN_IMG_ADDR@@ - ${fdt_addr}
